A Generic Object-Calculus Based on Addressed Term Rewriting Systems
Identifieur interne : 009822 ( Main/Exploration ); précédent : 009821; suivant : 009823A Generic Object-Calculus Based on Addressed Term Rewriting Systems
Auteurs : Frederic Lang ; Pierre Lescanne [France] ; Luigi Liquori ; Dan Dougherty ; Rose KristofferSource :
English descriptors
- KwdEn :
Abstract
We describe the foundations of OBJ+A a framework, or a generic calculus, for modeling object calculi. This framework is essentially a detailed formal operational semantics of object based languages, in the style of the Lambda Calculus of Objects. As a formalism for specification OBJ+A is arranged in "modules", permitting a natural classification of many object-based calculi according to their features. In particular there are modules for calculi of non mutable objects (i.e, "functional object calculi") and for calculi of mutable objects (i.e, "imperative object calculi"). As a computational formalism OBJ+A is based on rewriting rules. Classical first-order term rewriting systems are not appropriate since we want to reflect aspects of implementation practice such as sharing, cycles in data structures and mutation. Therefore we define the notion of "addressed terms", and develop the corresponding notion of "addressed term rewriting systems".
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002B65
- to stream Crin, to step Curation: 002B65
- to stream Crin, to step Checkpoint: 001782
- to stream Main, to step Merge: 009E14
- to stream Main, to step Curation: 009822
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-94">A Generic Object-Calculus Based on Addressed Term Rewriting Systems</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:lang00a</idno>
<date when="2000" year="2000">2000</date>
<idno type="wicri:Area/Crin/Corpus">002B65</idno>
<idno type="wicri:Area/Crin/Curation">002B65</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002B65</idno>
<idno type="wicri:Area/Crin/Checkpoint">001782</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001782</idno>
<idno type="wicri:Area/Main/Merge">009E14</idno>
<idno type="wicri:Area/Main/Curation">009822</idno>
<idno type="wicri:Area/Main/Exploration">009822</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">A Generic Object-Calculus Based on Addressed Term Rewriting Systems</title>
<author><name sortKey="Lang, Frederic" sort="Lang, Frederic" uniqKey="Lang F" first="Frederic" last="Lang">Frederic Lang</name>
</author>
<author><name sortKey="Lescanne, Pierre" sort="Lescanne, Pierre" uniqKey="Lescanne P" first="Pierre" last="Lescanne">Pierre Lescanne</name>
<affiliation><country>France</country>
<placeName><settlement type="city">Lyon</settlement>
<region type="region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="universitySchool" n="3">École normale supérieure de Lyon</orgName>
</affiliation>
</author>
<author><name sortKey="Liquori, Luigi" sort="Liquori, Luigi" uniqKey="Liquori L" first="Luigi" last="Liquori">Luigi Liquori</name>
</author>
<author><name sortKey="Dougherty, Dan" sort="Dougherty, Dan" uniqKey="Dougherty D" first="Dan" last="Dougherty">Dan Dougherty</name>
</author>
<author><name sortKey="Kristoffer, Rose" sort="Kristoffer, Rose" uniqKey="Kristoffer R" first="Rose" last="Kristoffer">Rose Kristoffer</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>object calculi</term>
<term>rewriting</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="2288">We describe the foundations of OBJ+A a framework, or a generic calculus, for modeling object calculi. This framework is essentially a detailed formal operational semantics of object based languages, in the style of the Lambda Calculus of Objects. As a formalism for specification OBJ+A is arranged in "modules", permitting a natural classification of many object-based calculi according to their features. In particular there are modules for calculi of non mutable objects (i.e, "functional object calculi") and for calculi of mutable objects (i.e, "imperative object calculi"). As a computational formalism OBJ+A is based on rewriting rules. Classical first-order term rewriting systems are not appropriate since we want to reflect aspects of implementation practice such as sharing, cycles in data structures and mutation. Therefore we define the notion of "addressed terms", and develop the corresponding notion of "addressed term rewriting systems".</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Rhône-Alpes</li>
</region>
<settlement><li>Lyon</li>
</settlement>
<orgName><li>École normale supérieure de Lyon</li>
</orgName>
</list>
<tree><noCountry><name sortKey="Dougherty, Dan" sort="Dougherty, Dan" uniqKey="Dougherty D" first="Dan" last="Dougherty">Dan Dougherty</name>
<name sortKey="Kristoffer, Rose" sort="Kristoffer, Rose" uniqKey="Kristoffer R" first="Rose" last="Kristoffer">Rose Kristoffer</name>
<name sortKey="Lang, Frederic" sort="Lang, Frederic" uniqKey="Lang F" first="Frederic" last="Lang">Frederic Lang</name>
<name sortKey="Liquori, Luigi" sort="Liquori, Luigi" uniqKey="Liquori L" first="Luigi" last="Liquori">Luigi Liquori</name>
</noCountry>
<country name="France"><region name="Rhône-Alpes"><name sortKey="Lescanne, Pierre" sort="Lescanne, Pierre" uniqKey="Lescanne P" first="Pierre" last="Lescanne">Pierre Lescanne</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 009822 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 009822 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:lang00a |texte= A Generic Object-Calculus Based on Addressed Term Rewriting Systems }}
This area was generated with Dilib version V0.6.33. |